Efficient Multi-Party Computation: from Passive to Active Security via Secure SIMD Circuits Daniel Genkin12 , Yuval Ishai1 , and Antigoni Polychroniadou3 1

Source URL: web.eecs.umich.edu

• Cryptographic protocols
• Mathematics
• Secure multi-party computation
• Linear algebra
• Valuation
• Linear combination
• Finite field

Asymptotically faster quantum algorithms to solve multivariate quadratic equations Daniel J. Bernstein1 and Bo-Yin Yang2 1 Department of Computer Science

Source URL: precision.moscito.org

• Mathematics
• Algebra
• Equations
• Linear algebra
• Monomial
• Ordinary differential equations
• Recurrence relation
• Equation solving
• Elementary algebra
• Equation
• System of linear equations
• Algebraic curve

Analysis of QUAD Bo-Yin Yang1 , Owen Chia-Hsin Chen2 , Daniel J. Bernstein3 , and Jiun-Ming Chen4 1 4

Source URL: precision.moscito.org

• Cryptography
• Multivariate cryptography
• QUAD
• Stream cipher
• Parametric equation
• Hidden Field Equations

User Session Identification Based on Strong Regularities in Inter-activity Time Aaron Halfaker1 Oliver Keyes1 Daniel Kluver2 Jacob Thebault-Spieker2 Tien Nguyen2 Kenneth Shores2 Anuradha Uduwage2 Morten Warncke-Wang2 1

Source URL: www.www2015.it

• Digital marketing
• World Wide Web
• Humancomputer interaction
• Computing
• Marketing
• Big data
• Business intelligence
• Session
• GroupLens Research
• Web analytics
• Recommender system
• Activity theory

Generic Double-Authentication Preventing Signatures and a Post-Quantum Instantiation? David Derler1 , Sebastian Ramacher1 , and Daniel Slamanig2 1 2

Source URL: eprint.iacr.org

• Cryptography
• Public-key cryptography
• Elliptic curve cryptography
• Key management
• Digital Signature Standard
• Digital signature
• Key
• Post-quantum cryptography
• EdDSA
• RSA
• Model theory
• Digital Signature Algorithm

Foreshadow-NG: Breaking the Virtual Memory Abstraction with Transient Out-of-Order Execution Revision 1.0 (August 14, 2018) Ofir Weisse3 , Jo Van Bulck1 , Marina Minkin2 , Daniel Genkin3 , Baris Kasikci3 , Frank Piessens

Source URL: foreshadowattack.eu

• Computer architecture
• Computing
• Computer hardware
• Computer memory
• Memory management
• Virtual memory
• X86 architecture
• Computer security
• Meltdown
• Translation lookaside buffer
• CPU cache
• Software Guard Extensions

Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨

Source URL: www.microsoft.com

• Formal languages
• Tree
• Heap
• Binary tree
• Context-free grammar
• Computing
• Software engineering
• Mathematics
• Regular tree grammar

Virtualizing Real-World Objects in FRP Daniel Winograd-Cort1, Hai Liu2 , and Paul Hudak3 1 Yale University 2

Source URL: thev.net

• Signal processing
• Mathematics
• Digital signal processing
• Signal
• Mathematical logic
• Function
• Electrical engineering
• Proof theory
• Programming language semantics

1 Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) VINCENT ST-AMOUR, DANIEL FELTEY, SPENCER P. FLORENCE, SHU-HUNG YOU, and ROBERT BRUCE FINDLER, PLT @ Northwestern University, USA

Source URL: www.ece.northwestern.edu

• Mathematics
• Algebra
• Fractals
• L-system
• Fractal curves
• Hygienic macro
• Arity
• Constructible universe

DANIEL Arnaud Master 1 TEF Département de Sciences de l’Éducation Dossier de recherche :

Source URL: adaniel.imago-fr.org